[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 91 98 184 113 158 0 -1

N.S.

1 1.00 0.60 0.65 1.22 0.75 1.05 0.00 -0.01

time (sec)

N/A 0.103 0.112 2.726 0.294 0.369 0.723 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 166 186 202 108 144 0 -1

N.S.

1 1.00 1.23 1.38 1.50 0.80 1.07 0.00 -0.01

time (sec)

N/A 0.094 0.068 2.655 0.252 0.348 0.509 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 89 90 145 103 133 0 -1

N.S.

1 1.00 0.74 0.74 1.20 0.85 1.10 0.00 -0.01

time (sec)

N/A 0.091 0.079 2.670 0.261 0.351 0.363 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

98 98 100 146 162 98 124 0 -1

N.S.

1 1.00 1.02 1.49 1.65 1.00 1.27 0.00 -0.01

time (sec)

N/A 0.030 0.105 3.425 0.275 0.356 0.239 0.000 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 71 73 97 83 97 0 -1

N.S.

1 1.00 0.83 0.85 1.13 0.97 1.13 0.00 -0.01

time (sec)

N/A 0.050 0.063 2.109 0.253 0.344 0.139 0.000 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

117 117 116 131 0 0 0 0 -1

N.S.

1 1.00 0.99 1.12 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.116 0.166 5.021 0.000 0.000 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 110 101 66 127 0 0 -1

N.S.

1 1.00 1.45 1.33 0.87 1.67 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.127 1.947 0.467 0.391 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 106 137 0 0 0 0 -1

N.S.

1 1.00 0.79 1.01 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.124 0.132 7.592 0.000 0.000 0.000 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 127 119 89 146 0 0 -1

N.S.

1 1.00 1.41 1.32 0.99 1.62 0.00 0.00 -0.01

time (sec)

N/A 0.086 0.169 1.987 0.474 0.392 0.000 0.000 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 264 124 128 319 165 236 0 -1

N.S.

1 1.28 0.60 0.62 1.55 0.80 1.15 0.00 -0.00

time (sec)

N/A 0.198 0.112 2.796 0.312 0.398 1.504 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 284 141 243 346 161 224 0 -1

N.S.

1 1.42 0.70 1.22 1.73 0.80 1.12 0.00 -0.00

time (sec)

N/A 0.184 0.165 2.770 0.277 0.362 1.084 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 223 116 120 261 153 209 0 -1

N.S.

1 1.26 0.66 0.68 1.47 0.86 1.18 0.00 -0.01

time (sec)

N/A 0.173 0.102 3.658 0.279 0.365 0.735 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 132 202 287 149 197 0 -1

N.S.

1 1.00 0.97 1.49 2.11 1.10 1.45 0.00 -0.01

time (sec)

N/A 0.051 0.122 2.753 0.266 0.386 0.527 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 177 99 102 194 133 172 0 -1

N.S.

1 1.24 0.69 0.71 1.36 0.93 1.20 0.00 -0.01

time (sec)

N/A 0.103 0.082 2.036 0.261 0.358 0.339 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

184 184 208 201 0 0 0 0 -1

N.S.

1 1.00 1.13 1.09 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.172 0.395 5.295 0.000 0.000 0.000 0.000 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 182 131 163 143 201 0 0 -1

N.S.

1 1.35 0.97 1.21 1.06 1.49 0.00 0.00 -0.01

time (sec)

N/A 0.146 0.095 2.056 0.460 0.371 0.000 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

200 200 182 212 0 0 0 0 -1

N.S.

1 1.00 0.91 1.06 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.181 0.157 7.144 0.000 0.000 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 186 135 163 137 213 0 0 -1

N.S.

1 1.31 0.95 1.15 0.96 1.50 0.00 0.00 -0.01

time (sec)

N/A 0.156 0.097 1.980 0.516 0.382 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

256 326 147 158 465 201 296 0 -1

N.S.

1 1.27 0.57 0.62 1.82 0.79 1.16 0.00 -0.00

time (sec)

N/A 0.289 0.126 3.540 0.269 0.348 2.906 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 328 168 286 501 197 287 0 -1

N.S.

1 1.43 0.73 1.24 2.18 0.86 1.25 0.00 -0.00

time (sec)

N/A 0.184 0.165 2.704 0.270 0.353 2.073 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

227 285 139 150 388 189 272 0 -1

N.S.

1 1.26 0.61 0.66 1.71 0.83 1.20 0.00 -0.00

time (sec)

N/A 0.266 0.150 2.686 0.274 0.351 1.473 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 156 244 423 185 260 0 -1

N.S.

1 1.00 0.94 1.47 2.55 1.11 1.57 0.00 -0.01

time (sec)

N/A 0.057 0.208 2.770 0.291 0.337 1.122 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 237 123 132 302 169 228 0 -1

N.S.

1 1.24 0.64 0.69 1.58 0.88 1.19 0.00 -0.01

time (sec)

N/A 0.191 0.130 1.991 0.278 0.349 0.739 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

239 239 305 255 0 0 0 0 -1

N.S.

1 1.00 1.28 1.07 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.240 0.377 6.141 0.000 0.000 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 239 136 212 231 249 0 0 -1

N.S.

1 1.33 0.76 1.18 1.28 1.38 0.00 0.00 -0.01

time (sec)

N/A 0.234 0.165 2.010 0.471 0.434 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

267 267 303 267 0 0 0 0 -1

N.S.

1 1.00 1.13 1.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.247 0.374 10.750 0.000 0.000 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 252 142 216 208 253 0 0 -1

N.S.

1 1.29 0.73 1.11 1.07 1.30 0.00 0.00 -0.01

time (sec)

N/A 0.257 0.178 2.023 0.487 0.400 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

158 158 227 242 0 0 0 0 -1

N.S.

1 1.00 1.44 1.53 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.168 0.267 5.237 0.000 0.000 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

140 140 151 222 0 0 0 0 -1

N.S.

1 1.00 1.08 1.59 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.143 0.218 4.572 0.000 0.000 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

102 102 155 187 0 0 0 0 -1

N.S.

1 1.00 1.52 1.83 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.099 0.108 4.254 0.000 0.000 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 85 162 0 0 0 0 -1

N.S.

1 1.00 1.15 2.19 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.065 2.657 0.000 0.000 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 64 312 0 0 0 0 -1

N.S.

1 1.00 1.08 5.29 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.046 0.048 11.767 0.000 0.000 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 93 88 0 0 0 0 -1

N.S.

1 1.00 1.52 1.44 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.085 0.107 5.273 0.000 0.000 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 132 163 0 0 0 0 -1

N.S.

1 1.00 1.39 1.72 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.102 0.201 4.876 0.000 0.000 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

118 118 144 283 0 0 0 0 -1

N.S.

1 1.00 1.22 2.40 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.138 0.371 4.490 0.000 0.000 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 223 219 0 0 0 0 -1

N.S.

1 1.00 1.42 1.39 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.169 0.240 5.822 0.000 0.000 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

177 177 244 268 0 0 0 0 -1

N.S.

1 1.00 1.38 1.51 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.159 0.660 7.879 0.000 0.000 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

179 179 209 278 0 0 0 0 -1

N.S.

1 1.00 1.17 1.55 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.147 0.374 7.829 0.000 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

124 124 206 230 0 0 0 0 -1

N.S.

1 1.00 1.66 1.85 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.096 0.457 6.573 0.000 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 53 64 134 65 0 0 -1

N.S.

1 1.00 0.87 1.05 2.20 1.07 0.00 0.00 -0.02

time (sec)

N/A 0.036 0.063 2.864 0.282 0.351 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

120 120 189 230 0 0 0 0 -1

N.S.

1 1.00 1.58 1.92 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.875 4.252 0.000 0.000 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

116 116 149 339 0 0 0 0 -1

N.S.

1 1.00 1.28 2.92 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.138 0.468 4.545 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

170 170 283 256 0 0 0 0 -1

N.S.

1 1.00 1.66 1.51 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.137 0.429 5.842 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

152 152 319 347 0 0 0 0 -1

N.S.

1 1.00 2.10 2.28 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.197 0.329 5.913 0.000 0.000 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

248 248 377 335 0 0 0 0 -1

N.S.

1 1.00 1.52 1.35 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.214 1.032 6.296 0.000 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

249 249 287 352 0 0 0 0 -1

N.S.

1 1.00 1.15 1.41 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.173 1.061 10.216 0.000 0.000 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 83 136 0 101 0 0 -1

N.S.

1 1.00 0.61 1.00 0.00 0.74 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.101 2.031 0.000 0.332 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

186 186 287 352 0 0 0 0 -1

N.S.

1 1.00 1.54 1.89 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.134 0.986 7.188 0.000 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 64 86 0 98 0 0 -1

N.S.

1 1.00 0.70 0.95 0.00 1.08 0.00 0.00 -0.01

time (sec)

N/A 0.043 0.084 1.964 0.000 0.344 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

180 180 316 352 0 0 0 0 -1

N.S.

1 1.00 1.76 1.96 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.101 0.679 5.118 0.000 0.000 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

171 171 210 508 0 0 0 0 -1

N.S.

1 1.00 1.23 2.97 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.194 0.882 7.316 0.000 0.000 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

230 230 362 387 0 0 0 0 -1

N.S.

1 1.00 1.57 1.68 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.186 1.120 5.760 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

250 250 273 606 0 0 0 0 -1

N.S.

1 1.00 1.09 2.42 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.260 1.794 9.605 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

310 310 471 481 0 0 0 0 -1

N.S.

1 1.00 1.52 1.55 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.283 1.126 6.750 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 77 169 0 0 0 0 -1

N.S.

1 1.00 1.45 3.19 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.038 0.037 11.244 0.000 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

109 109 120 161 0 0 0 0 -1

N.S.

1 1.00 1.10 1.48 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.062 0.581 3.951 0.000 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

164 164 223 205 0 0 0 0 -1

N.S.

1 1.00 1.36 1.25 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.087 1.532 4.391 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

278 278 198 878 0 0 0 0 -1

N.S.

1 1.00 0.71 3.16 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.398 0.788 5.357 0.000 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 151 367 0 0 0 0 -1

N.S.

1 1.00 0.75 1.83 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.261 0.709 4.123 0.000 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

124 124 144 278 0 0 0 0 -1

N.S.

1 1.00 1.16 2.24 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.386 4.065 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

118 118 137 286 0 0 0 0 -1

N.S.

1 1.00 1.16 2.42 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.127 0.288 4.631 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 88 1017 150 462 0 0 -1

N.S.

1 1.00 0.74 8.55 1.26 3.88 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.088 6.691 0.480 0.400 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 128 1742 146 549 0 0 -1

N.S.

1 1.00 0.64 8.75 0.73 2.76 0.00 0.00 -0.01

time (sec)

N/A 0.104 0.141 7.102 0.487 0.426 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

279 279 146 2537 207 615 0 0 -1

N.S.

1 1.00 0.52 9.09 0.74 2.20 0.00 0.00 -0.00

time (sec)

N/A 0.111 0.175 7.576 0.480 0.417 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

272 272 152 988 205 203 0 0 -1

N.S.

1 1.00 0.56 3.63 0.75 0.75 0.00 0.00 -0.00

time (sec)

N/A 0.124 0.239 4.224 0.475 0.394 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 128 640 144 176 0 0 -1

N.S.

1 1.00 0.66 3.28 0.74 0.90 0.00 0.00 -0.01

time (sec)

N/A 0.108 0.124 4.628 0.485 0.345 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 98 356 81 142 0 0 -1

N.S.

1 1.00 0.83 3.02 0.69 1.20 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.076 1.898 0.279 0.352 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

213 213 233 394 0 0 0 0 -1

N.S.

1 1.00 1.09 1.85 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.220 0.583 3.724 0.000 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

235 235 307 438 0 0 0 0 -1

N.S.

1 1.00 1.31 1.86 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.227 0.715 5.753 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

315 315 290 541 0 0 0 0 -1

N.S.

1 1.00 0.92 1.72 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.352 0.703 6.393 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

360 360 337 783 0 0 0 0 -1

N.S.

1 1.00 0.94 2.18 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.493 3.196 4.366 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

281 281 270 883 0 0 0 0 -1

N.S.

1 1.00 0.96 3.14 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.358 1.293 3.777 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

200 200 235 546 0 0 0 0 -1

N.S.

1 1.00 1.18 2.73 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.128 0.804 3.289 0.000 0.000 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

197 197 223 427 0 0 0 0 -1

N.S.

1 1.00 1.13 2.17 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.166 0.690 3.974 0.000 0.000 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

203 203 259 1181 0 0 0 0 -1

N.S.

1 1.00 1.28 5.82 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.209 0.516 5.967 0.000 0.000 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 94 2171 189 572 0 0 -1

N.S.

1 1.00 0.57 13.08 1.14 3.45 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.057 6.290 0.491 0.419 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 136 3145 163 648 0 0 -1

N.S.

1 1.00 0.55 12.73 0.66 2.62 0.00 0.00 -0.00

time (sec)

N/A 0.127 0.099 6.934 0.491 0.429 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

328 328 154 4262 225 720 0 0 -1

N.S.

1 1.00 0.47 12.99 0.69 2.20 0.00 0.00 -0.00

time (sec)

N/A 0.149 0.214 7.260 0.502 0.436 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

409 409 170 5523 287 792 0 0 -1

N.S.

1 1.00 0.42 13.50 0.70 1.94 0.00 0.00 -0.00

time (sec)

N/A 0.190 0.292 9.740 0.530 0.426 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

399 399 182 1846 285 275 0 0 -1

N.S.

1 1.00 0.46 4.63 0.71 0.69 0.00 0.00 -0.00

time (sec)

N/A 0.178 0.158 4.533 0.489 0.387 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

321 321 164 1376 223 245 0 0 -1

N.S.

1 1.00 0.51 4.29 0.69 0.76 0.00 0.00 -0.00

time (sec)

N/A 0.145 0.121 3.266 0.485 0.345 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

243 243 136 966 161 215 0 0 -1

N.S.

1 1.00 0.56 3.98 0.66 0.88 0.00 0.00 -0.00

time (sec)

N/A 0.124 0.131 2.815 0.500 0.354 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 107 620 102 185 0 0 -1

N.S.

1 1.00 0.65 3.76 0.62 1.12 0.00 0.00 -0.01

time (sec)

N/A 0.058 0.126 1.405 0.262 0.350 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

292 292 336 499 0 0 0 0 -1

N.S.

1 1.00 1.15 1.71 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.306 0.803 3.475 0.000 0.000 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

311 311 500 542 0 0 0 0 -1

N.S.

1 1.00 1.61 1.74 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.306 1.032 7.225 0.000 0.000 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

321 321 574 570 0 0 0 0 -1

N.S.

1 1.00 1.79 1.78 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.311 0.818 5.770 0.000 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

454 454 500 1743 0 0 0 0 -1

N.S.

1 1.00 1.10 3.84 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.599 5.043 4.539 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

371 371 415 1289 0 0 0 0 -1

N.S.

1 1.00 1.12 3.47 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.464 3.143 3.809 0.000 0.000 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

293 293 347 885 0 0 0 0 -1

N.S.

1 1.00 1.18 3.02 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.164 1.621 2.527 0.000 0.000 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

284 284 305 550 0 0 0 0 -1

N.S.

1 1.00 1.07 1.94 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.216 1.154 4.014 0.000 0.000 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

293 293 319 1407 0 0 0 0 -1

N.S.

1 1.00 1.09 4.80 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.267 0.926 6.118 0.000 0.000 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

293 293 400 2429 0 0 0 0 -1

N.S.

1 1.00 1.37 8.29 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.306 2.200 8.072 0.000 0.000 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 105 3775 224 703 0 0 -1

N.S.

1 1.00 0.48 17.24 1.02 3.21 0.00 0.00 -0.00

time (sec)

N/A 0.093 0.068 7.069 0.506 0.428 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

314 314 147 5007 187 795 0 0 -1

N.S.

1 1.00 0.47 15.95 0.60 2.53 0.00 0.00 -0.00

time (sec)

N/A 0.130 0.113 7.209 0.496 0.455 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

385 385 165 6382 251 879 0 0 -1

N.S.

1 1.00 0.43 16.58 0.65 2.28 0.00 0.00 -0.00

time (sec)

N/A 0.155 0.141 8.098 0.499 0.421 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

458 458 193 2374 313 353 0 0 -1

N.S.

1 1.00 0.42 5.18 0.68 0.77 0.00 0.00 -0.00

time (sec)

N/A 0.187 0.177 3.954 0.496 0.348 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

378 378 175 1840 249 317 0 0 -1

N.S.

1 1.00 0.46 4.87 0.66 0.84 0.00 0.00 -0.00

time (sec)

N/A 0.161 0.133 3.380 0.484 0.372 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 145 1102 185 281 0 0 -1

N.S.

1 1.00 0.49 3.70 0.62 0.94 0.00 0.00 -0.00

time (sec)

N/A 0.134 0.142 3.743 0.477 0.436 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 117 956 118 241 0 0 -1

N.S.

1 1.00 0.54 4.39 0.54 1.11 0.00 0.00 -0.00

time (sec)

N/A 0.070 0.141 1.414 0.272 0.366 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

379 379 471 620 0 0 0 0 -1

N.S.

1 1.00 1.24 1.64 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.424 2.488 3.523 0.000 0.000 0.000 0.000 0.000

[next] [front] [up]